A Fundamental Flaw in an Incompleteness Proof by George Boolos
نویسنده
چکیده
This paper addresses a proof of incompleteness published by George Boolos. An analysis of this proofs demonstrates that there is an elementary error in the proof; the proof relies on the unproven assumption that the formal system can selfreference its own formulas.
منابع مشابه
Constructibility and Rosserizability of the Proofs of Boolos and Chaitin for Godel's Incompleteness Theorem
The proofs of Chaitin and Boolos for Gödel’s Incompleteness Theorem are studied from the perspectives of constructibility and Rosserizability. By Rosserization of a proof we mean that the independence of the true but unprovable sentence can be shown by assuming only the (simple) consistency of the theory. It is known that Gödel’s own proof for his incompleteness theorem is not Rosserizable, and...
متن کاملA Fundamental Flaw in Incompleteness Proofs by Gregory Chaitin
There are several similar proofs published by Chaitin involving the concept of information-theoretic complexity, and Chaitin claims that these are proof of the incompleteness of formal systems. An elementary analysis of these proofs demonstrates that the proofs are not in fact proofs of incompleteness.
متن کاملGödel incompleteness revisited
We investigate the frontline of Gödel’s incompleteness theorems’ proofs and the links with computability. The Gödel incompleteness phenomenon Gödel’s incompleteness theorems [Göd31, SFKM+86] are milestones in the subject of mathematical logic. Apart from Gödel’s original syntactical proof, many other proofs have been presented. Kreisel’s proof [Kre68] was the first with a model-theoretical flav...
متن کاملThe Fundamental Flaw in Gödels Proof of the Incompleteness Theorem
This paper identifies the fundamental error inherent in Gödel’s proof of his Incompleteness Theorem. The error is generated by the ambiguity of the language of Gödel’s outline proof of his Proposition V, a proposition for which Gödel declined to furnish a detailed proof. The error arises from a confusion of the meta-language and the languages to which it refers, a confusion which is exacerbated...
متن کاملBoolos-style proofs of limitative theorems
In his famous paper announcing the incompleteness theorem, Gödel remarked that, though his argument is analogous to the Richard and the Liar paradoxes, “Any epistemological antinomy could be used for a similar proof of the existence of undecidable propositions.” ([7] Note 14). It is interesting that, despite the fact that the soundness of arguments like Gödel’s one built on self–reference (or d...
متن کامل